$\forall$$x$, $y$:MaName. Dec($x$ = $y$)